Non-Determinism in Peptide Computer
نویسنده
چکیده
Peptide computer is a formal model for peptide computing. It involve reactions between various multiset of symbols and sequences. We study three kinds of nondeterminism in peptide computer – global, locally-global and local. We show that (local) locally-global is a restrictive version of (locally-global) global. We also characterize conditions for a (locally-global) global system to be a system which is not (local) locally-global system.
منابع مشابه
An Analysis of Reproducibility and Non-Determinism in HEP Software and ROOT Data
Reproducibility is an essential component of the scientific method. In order to validate the correctness or facilitate the extension of a computational result, it should be possible to re-run a published result and verify that the same results are produced. However, reproducing a computational result is surprisingly difficult: non-determinism and other factors may make it impossible to get the ...
متن کاملModelling Non-Deterministic System in HOL
When developing the speciications of computer system components, it is often necessary or desirable to include non{deterministic behavior into the speciication. Unfortunately this non{determinism can cause diiculty when we try to verify properties of the specii-cation. In this paper we present a method for modelling non{determinism in a way that allows the veriier to isolate it from other aspec...
متن کاملResolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
In this paper, we develop a new mutation testing technique called Interlocutory Mutation Testing (IMT) that mitigates the equivalent mutant problem in the presence of coincidental correctness and non-determinism. The accuracy of IMT was evaluated; it obtained a classification accuracy of 93.33% for non-equivalent mutants and 100% for equivalent mutants in a non-deterministic system with coincid...
متن کاملA comparative study of Determinism in the poems of IlyaAbuMadi, Khayyam and Hafiz
The question of determinism is one of the very old issues that has always preoccupied human mind. The key question is whether one is autonomous in onechr('39')s actions or they do not have any intentional behavior and that all they do is through deterministic measures. In this descriptive-analytic article, we attempt to examine the issue of determinism and authoritarianism in the poems of ...
متن کاملSocial and Ethical Responsibility against Social Determinism
Background: Because of the highlighted role of ethical responsibility in social and individual life, it is looked as an important issue in ethics area. Social responsibility that is defined as a sub-factor of ethical responsibility will have such an important place. What is discussed in responsibility discussions commonly is the “human will”. Responsibility is more based on the free will. In th...
متن کامل